typedef int * HasPointer;
